CNR Author
operator:
and / or
Typology
operator:
and / or
Language
operator:
and / or
Rights
operator:
and / or
2011
Journal article
Unknown
Rifiuti pericolosi, il sistema per l'inertizzazione
Plescia P., Tempesta M., Musto D., Croci D., Paratore A., Di Stefano A., D'Amico S., Contarino R.
La gestione dei rifiuti in impianti di stabilizzazione e solidificazione: bilancio di massa e mix-designSource: Recycling (Parma) (2011): 51–58.
Plescia P., Tempesta M., Musto D., Croci D., Paratore A., Di Stefano A., D'Amico S., Contarino R.
La gestione dei rifiuti in impianti di stabilizzazione e solidificazione: bilancio di massa e mix-designSource: Recycling (Parma) (2011): 51–58.
See at: CNR ExploRA | www.edizionipei.it
2007
Contribution to conference
Restricted
Morphological and structural characterization of chrysotile fibers of new formation in serpentine minerals
Musto D., Paoloni G., Plescia P., Tocino M., Sottile R.
In this study, characterization data of some serpentine minerals from the "Rocchetta of Vara" area, in "La Spezia" province are shown. These materials present particular structures, constituted by cover materials with a low degree of crystallinity and are associated with tectonic movements. Such structures are particularly interesting for the pollution problems of asbestos fibers since they often become the center of fiber serpentine mineral formation. The analyses of the surfaces subject to the tectonic activity have been performed with the X-ray Diffraction (XRD), Scanning Electron Microscopy (SEM), Infrared Spectrophotometry (FTIR) and Thermogravimetry analysis. A great difference between the primary materials (serpentine-antigorite type) and the new formation materials (amorphous or low degree of cristallinity material) has been identified. Through the integration with the other techniques of analysis, the following phases, showed in genetic sequence, have been recognised: - serpentine antigorite - serpentine lizardite - an amorphous glassy phase magnesium silicate composition rich in superficial deposits of chrysotile - a crystal superficial phase with a high quantity of chrysotile Between lizardite and the following phases, a growth of iron and manganese oxides crystallization, particularly in the dendritical and massive forms is observed. Inside the amourphous phase the presence of very small geodes (dimensions:0,5-1 mm) is observed, inside which the presence of a dense felt of chrysotile crystals with dimensions between a few microns to 500 can be noticed. Outside of the geodes the presence of sphere cave of silicon has been observed, also observed under SEM, and under the spheres nanotubes appear with magnesium silicate composition and morphology attributable to chrysotile. The most interesting thing is represented by the new fibrous formation form on the surface of glide, in correspondence with the points of maximum attrition. The results point out that the serpentines of "Rocchetta of Vara" after attrition change their morphology forming a new material that has a low grade of crystallinity, in which chrysotile is crystallied with morphology and dimension which allow them to be classified among the nanofibres material, part of which grow parallel to the other forms of serpentine and in such a way that they are hardly identificable.Source: GEOITALIA 2007 - Sesto Forum Italiano di Scienza della Terra, pp. 77–77, Rimini, 12-14 Settembre 2007
DOI: 10.1474/epitome.02-0261.geoitalia2007
Metrics:
Musto D., Paoloni G., Plescia P., Tocino M., Sottile R.
In this study, characterization data of some serpentine minerals from the "Rocchetta of Vara" area, in "La Spezia" province are shown. These materials present particular structures, constituted by cover materials with a low degree of crystallinity and are associated with tectonic movements. Such structures are particularly interesting for the pollution problems of asbestos fibers since they often become the center of fiber serpentine mineral formation. The analyses of the surfaces subject to the tectonic activity have been performed with the X-ray Diffraction (XRD), Scanning Electron Microscopy (SEM), Infrared Spectrophotometry (FTIR) and Thermogravimetry analysis. A great difference between the primary materials (serpentine-antigorite type) and the new formation materials (amorphous or low degree of cristallinity material) has been identified. Through the integration with the other techniques of analysis, the following phases, showed in genetic sequence, have been recognised: - serpentine antigorite - serpentine lizardite - an amorphous glassy phase magnesium silicate composition rich in superficial deposits of chrysotile - a crystal superficial phase with a high quantity of chrysotile Between lizardite and the following phases, a growth of iron and manganese oxides crystallization, particularly in the dendritical and massive forms is observed. Inside the amourphous phase the presence of very small geodes (dimensions:0,5-1 mm) is observed, inside which the presence of a dense felt of chrysotile crystals with dimensions between a few microns to 500 can be noticed. Outside of the geodes the presence of sphere cave of silicon has been observed, also observed under SEM, and under the spheres nanotubes appear with magnesium silicate composition and morphology attributable to chrysotile. The most interesting thing is represented by the new fibrous formation form on the surface of glide, in correspondence with the points of maximum attrition. The results point out that the serpentines of "Rocchetta of Vara" after attrition change their morphology forming a new material that has a low grade of crystallinity, in which chrysotile is crystallied with morphology and dimension which allow them to be classified among the nanofibres material, part of which grow parallel to the other forms of serpentine and in such a way that they are hardly identificable.Source: GEOITALIA 2007 - Sesto Forum Italiano di Scienza della Terra, pp. 77–77, Rimini, 12-14 Settembre 2007
DOI: 10.1474/epitome.02-0261.geoitalia2007
Metrics:
See at:
geoitalia.prod.cineca.it 
| CNR ExploRA
2007
Contribution to journal
Restricted
Morphological and structural characterization of chrysotile growth on a serpentine shear zone
Musto D., Paoloni G., Plescia P., Tocino M., Sottile R.
Source: Plinius (Pisa, CD-ROM) 33 (2007): 313–313.
Musto D., Paoloni G., Plescia P., Tocino M., Sottile R.
Source: Plinius (Pisa, CD-ROM) 33 (2007): 313–313.
See at:
www.schweizerbart.de | CNR ExploRA
1994
Report
Unknown
Carmel Vs. Flakey: a comparison of two robots
Congdon C., Huber M., Kortenkamp D., Bidlack C., Cohen C., Huffman S., Koss F., Raschke U., Weymouth T., Konolige K., Myers K., Saffiotti A., Ruspini E., Musto D.
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teamsSource: ISTI Technical reports, pp.1–52, 1994
Congdon C., Huber M., Kortenkamp D., Bidlack C., Cohen C., Huffman S., Koss F., Raschke U., Weymouth T., Konolige K., Myers K., Saffiotti A., Ruspini E., Musto D.
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teamsSource: ISTI Technical reports, pp.1–52, 1994
See at: CNR ExploRA
1993
Journal article
Restricted
Reasoning about Perception
Musto D., Konolige K.
In this paper we investigate some of the uncounscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: AI communications (Print) 3/4 (1993): 207–212. doi:10.3233/AIC-1993-63-404
DOI: 10.3233/aic-1993-63-404
Metrics:
Musto D., Konolige K.
In this paper we investigate some of the uncounscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: AI communications (Print) 3/4 (1993): 207–212. doi:10.3233/AIC-1993-63-404
DOI: 10.3233/aic-1993-63-404
Metrics:
See at:
AI Communications | iospress.metapress.com | CNR ExploRA
1993
Other
Unknown
See at: CNR ExploRA
1993
Other
Unknown
See at: CNR ExploRA
1993
Other
Unknown
Carmel versus Flakey: a comparison of two winners
Musto D.
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teams.
Musto D.
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teams.
See at: CNR ExploRA
1993
Other
Unknown
Some notes on perception and actions in situated agents
Musto D., Saffiotti A.
An abstract is not avaiable
Musto D., Saffiotti A.
An abstract is not avaiable
See at: CNR ExploRA
1993
Other
Unknown
Reasoning about perception
Musto D., Konolige K.
In this paper we investigate some of the uncouscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techiques of non-monotonic reasoning. In addition, we provides an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
Musto D., Konolige K.
In this paper we investigate some of the uncouscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techiques of non-monotonic reasoning. In addition, we provides an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
See at: CNR ExploRA
1993
Other
Unknown
See at: CNR ExploRA
1993
Conference article
Unknown
Acquisition of beliefs through perception
Musto D., Konolige K.
This paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: 2nd Symposium on Logical Formalizations of Commonsense Reasoning, pp. 157–161, Austin, Texas (USA), 11-13/01/1993
Musto D., Konolige K.
This paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: 2nd Symposium on Logical Formalizations of Commonsense Reasoning, pp. 157–161, Austin, Texas (USA), 11-13/01/1993
See at: CNR ExploRA
1993
Journal article
Unknown
Query optimization by using knowledge about data semantics
Bertino E., Musto D.
In this paper we address the problem of using semantic properties of data within the process of query optimization. The discussion is in terms of the relational data model. We present query transformation rules, called semantic transformation rules (or simply stemantic rules), that are based on the database properties expressed by the integrity constraints. The semantic rules presented in the paper allow join elimination, clustering index introduction and empty query test according to the content of the integrity constraints. We provide a formal proof of the correction of such transformation rules. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence of queries and modification operations may occur, and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in the paper can be correctly applied to transform queries occurring within compiled transactions.Source: Data & knowledge engineering 9 (1993): 121–155.
Bertino E., Musto D.
In this paper we address the problem of using semantic properties of data within the process of query optimization. The discussion is in terms of the relational data model. We present query transformation rules, called semantic transformation rules (or simply stemantic rules), that are based on the database properties expressed by the integrity constraints. The semantic rules presented in the paper allow join elimination, clustering index introduction and empty query test according to the content of the integrity constraints. We provide a formal proof of the correction of such transformation rules. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence of queries and modification operations may occur, and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in the paper can be correctly applied to transform queries occurring within compiled transactions.Source: Data & knowledge engineering 9 (1993): 121–155.
See at: CNR ExploRA
1993
Contribution to conference
Unknown
A fuzzy controller for Flakey, the robot
Helft N., Konolige K., Lowrance J., Musto D., Myers K., Ruspini E., Saffiotti A., Wesley L.
We present a fuzzy controller for Flakey, an autonomous mobile robot. This controller is based on the notion of ''behavior'': a specific conrtol regime aiming at the achievement of one specific goal. Behaviors are imlpemented by a set of fuzzy rules. Yhe controller includes behavior for reliable obstacle avoidance, as well as for purposeful motion, like following a wall, or reaching a given location. Many behavior can be simultaneously active: the fuzzy controller blends these behaviors using the mechanisms of fuzzy logic. By blending reactive and purposeful behaviors, the controller can lead Flakey to achieve a given goal while smoothly reacting to unexpected events. By blending many consecutive purposeful behaviors, the controller can execute a full plan. Context-dependent blending of different behaviors is the key to relaible operation in an unstructured, real world environment. The performance of our fuzzy controller was demonstrated at the First International Robots Competition of AAAI, held in July, 1992 at San Jose, California, where Flakey was commended for its smooth and reliable reactivity, and placed overall second.Source: Second IEEE International Conference of Fuzzy Systems (FUZZ-IEEE'93) 1993 - IEEE International Conference on Neural Networks (ICNN'93), pp. 6–6, San Francisco, CA, March 28 -April 1
Helft N., Konolige K., Lowrance J., Musto D., Myers K., Ruspini E., Saffiotti A., Wesley L.
We present a fuzzy controller for Flakey, an autonomous mobile robot. This controller is based on the notion of ''behavior'': a specific conrtol regime aiming at the achievement of one specific goal. Behaviors are imlpemented by a set of fuzzy rules. Yhe controller includes behavior for reliable obstacle avoidance, as well as for purposeful motion, like following a wall, or reaching a given location. Many behavior can be simultaneously active: the fuzzy controller blends these behaviors using the mechanisms of fuzzy logic. By blending reactive and purposeful behaviors, the controller can lead Flakey to achieve a given goal while smoothly reacting to unexpected events. By blending many consecutive purposeful behaviors, the controller can execute a full plan. Context-dependent blending of different behaviors is the key to relaible operation in an unstructured, real world environment. The performance of our fuzzy controller was demonstrated at the First International Robots Competition of AAAI, held in July, 1992 at San Jose, California, where Flakey was commended for its smooth and reliable reactivity, and placed overall second.Source: Second IEEE International Conference of Fuzzy Systems (FUZZ-IEEE'93) 1993 - IEEE International Conference on Neural Networks (ICNN'93), pp. 6–6, San Francisco, CA, March 28 -April 1
See at: CNR ExploRA
1992
Other
Unknown
Aquisition of beliefs through perception
Musto D., Konolige K.
In this paper we present some current results of our ongoing project on the integration of perception and symbolic reasoning. The focus of the paper is on the formalization of perception and belief. We outline the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasol1ing. In addition, we provide an account of perception that is consistent with our intuition for how perception functions, i.e., causality.
Musto D., Konolige K.
In this paper we present some current results of our ongoing project on the integration of perception and symbolic reasoning. The focus of the paper is on the formalization of perception and belief. We outline the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasol1ing. In addition, we provide an account of perception that is consistent with our intuition for how perception functions, i.e., causality.
See at: CNR ExploRA
1991
Other
Unknown
A knowledge representation approach to the design of architectures for office information systems
Musato D.
A framework for generating computer system Architectures that are suitable for realizing an Office Information System is presented. The Architecture generation process is seen as a mapping from a functional specification of the office expressed in terms of a conceptual scheme, and integrated with data concerning the existing office and users's needs, to a number of office Architectures, each saitsfying by construction the given set of functional and non-functional requirements. Among such Architectures, the most appropriate one with respect to a cost-benefit trade-off is then selected, on the basis of performance measurement obtained via simulation. A methodology for achieving the mapping underlying the Architecture generation process is proposed, and a model for describing office Architectures is provided. Such a model relies on a knowledge base where hardware and software products are organized along with the knowledge for combining them into Architectures. A computer tool exists which Supports an incremental construciion of Architectures according to this model. The tool embodies the knowledge about hardware and software products, and about the possible ways of combining them into Architectures, in the form of a procedural semantic network, and makes accessible this knowledge to the Architecture designer through an interactive environment supported by a graphical interface.
Musato D.
A framework for generating computer system Architectures that are suitable for realizing an Office Information System is presented. The Architecture generation process is seen as a mapping from a functional specification of the office expressed in terms of a conceptual scheme, and integrated with data concerning the existing office and users's needs, to a number of office Architectures, each saitsfying by construction the given set of functional and non-functional requirements. Among such Architectures, the most appropriate one with respect to a cost-benefit trade-off is then selected, on the basis of performance measurement obtained via simulation. A methodology for achieving the mapping underlying the Architecture generation process is proposed, and a model for describing office Architectures is provided. Such a model relies on a knowledge base where hardware and software products are organized along with the knowledge for combining them into Architectures. A computer tool exists which Supports an incremental construciion of Architectures according to this model. The tool embodies the knowledge about hardware and software products, and about the possible ways of combining them into Architectures, in the form of a procedural semantic network, and makes accessible this knowledge to the Architecture designer through an interactive environment supported by a graphical interface.
See at: CNR ExploRA
1991
Other
Unknown
Query optimization by using knowledge about data semantics
Bertino E., Musto D.
In this paper we address the problem of query optimization by using semantic properties of data. The discussion is in terms of the relational data model. We present some rules for Relational Algebra (RA) queries that can be used to transform a query into an equivalent one which is more efficient to process, and provide a formal proof of their correctness, such rules, called semantic rules, allow to eliminate joins, to introduce clustering indexes and to test for query emptiness according to the database properties stated by a set of integrity constraints. The correctness of these rules is formally proved by Showing that the obtained queries define exactly the same set of tuples as the original query. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence, or queries and modify operations may occur and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in this paper can be correctly applied within compiled transactions.
Bertino E., Musto D.
In this paper we address the problem of query optimization by using semantic properties of data. The discussion is in terms of the relational data model. We present some rules for Relational Algebra (RA) queries that can be used to transform a query into an equivalent one which is more efficient to process, and provide a formal proof of their correctness, such rules, called semantic rules, allow to eliminate joins, to introduce clustering indexes and to test for query emptiness according to the database properties stated by a set of integrity constraints. The correctness of these rules is formally proved by Showing that the obtained queries define exactly the same set of tuples as the original query. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence, or queries and modify operations may occur and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in this paper can be correctly applied within compiled transactions.
See at: CNR ExploRA
1990
Contribution to book
Restricted
Architecture Specification in TODOS
Castelli D., Meghini C., Musto D.
This paper introduces the Architecture Specification System (ASPES), a computer tool which assists the designer in last step of the Architecture Generation phase of the TODOS methodology. ASPES provides an interactive environment, accessible through a graphical interface, to incrementally define the specific hardware and software machinery to be used in the office architecture being designed. In addition, ASPES guarantees that the architecture being incremental1y constructed by the designer is feasible, that is it consists of components that can be effectively combined together.Source: Automatic Tools for Designing Office Information Systems, edited by PERNICI Barbara and ROLLAND Colette, pp. 171–200. Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona: Springer-Verlag, 1990
DOI: 10.1007/978-3-642-84323-5
Metrics:
Castelli D., Meghini C., Musto D.
This paper introduces the Architecture Specification System (ASPES), a computer tool which assists the designer in last step of the Architecture Generation phase of the TODOS methodology. ASPES provides an interactive environment, accessible through a graphical interface, to incrementally define the specific hardware and software machinery to be used in the office architecture being designed. In addition, ASPES guarantees that the architecture being incremental1y constructed by the designer is feasible, that is it consists of components that can be effectively combined together.Source: Automatic Tools for Designing Office Information Systems, edited by PERNICI Barbara and ROLLAND Colette, pp. 171–200. Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona: Springer-Verlag, 1990
DOI: 10.1007/978-3-642-84323-5
Metrics:
See at:
doi.org | www.springer.com | CNR ExploRA
1990
Contribution to book
Restricted
Architecture Generation in TODOS
Musto Daniela
The Architecture Generation in TODOS consists in the derivation of a set of alternative computer system Architectures suitable for realizing an Office Information System (OIS) from a collection of requirements and a conceptual model specified for the office.Source: Automatic Tools for Designing Office Information Systems,, edited by PERNICI Barbara and ROLLAND Colette, pp. 149–170. Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona: Springer-Verlag, 1990
DOI: 10.1007/978-3-642-84323-5_5
DOI: 10.1007/3-540-32062-8_21
Metrics:
Musto Daniela
The Architecture Generation in TODOS consists in the derivation of a set of alternative computer system Architectures suitable for realizing an Office Information System (OIS) from a collection of requirements and a conceptual model specified for the office.Source: Automatic Tools for Designing Office Information Systems,, edited by PERNICI Barbara and ROLLAND Colette, pp. 149–170. Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona: Springer-Verlag, 1990
DOI: 10.1007/978-3-642-84323-5_5
DOI: 10.1007/3-540-32062-8_21
Metrics:
See at:
link.springer.com | link.springer.com | link.springer.com | CNR ExploRA
1990
Other
Open Access
Introduzione al linguaggio di programmazione Pascal
Musto D.
Questa dispensa offre una presentazione introduttiva e schematica del linguaggio di programmazione Pascal, destinata a coloro che hanno già acquisito una certa familiarità con un linguaggio di programmazione imperativo (e.g., Basic, Fortan, Cobol, etc.) e che desiderano avvicinarsi al Pascal. La dispensa illustra le principali caratteristiche del linguaggio Pascal, ed introduce la sintassi di un programma Pascal attraverso semplici esempi. Sono presentate le classi di istruzioni disponibili per la creazione dei programmi, ed i relativi diagrammi di flusso (detti anche diagrammi a blocchi). Viene evidenziata, in particolare, la struttura modulare dei programmi Pascal ottenuta attraverso la definizione di procedure, che permettono la strutturazione del programma in unità logiche distinte che ne facilitano la stesura, la leggibilità e la modificabilità. Le funzioni e il ricco assortimento di strutture dati offerto dal linguaggio Pascal saranno oggetto di una sucessiva dispensa. La dispensa è costituita dai lucidi da me presentati durante il ciclo di seminari di introduzione al Pascal che ho tenuto nell'ambito del Corso di Perfezionamento in Applicazioni Informatiche dell'Università degli Studi di Pisa durante l'Anno Accademico 1989-90.
Musto D.
Questa dispensa offre una presentazione introduttiva e schematica del linguaggio di programmazione Pascal, destinata a coloro che hanno già acquisito una certa familiarità con un linguaggio di programmazione imperativo (e.g., Basic, Fortan, Cobol, etc.) e che desiderano avvicinarsi al Pascal. La dispensa illustra le principali caratteristiche del linguaggio Pascal, ed introduce la sintassi di un programma Pascal attraverso semplici esempi. Sono presentate le classi di istruzioni disponibili per la creazione dei programmi, ed i relativi diagrammi di flusso (detti anche diagrammi a blocchi). Viene evidenziata, in particolare, la struttura modulare dei programmi Pascal ottenuta attraverso la definizione di procedure, che permettono la strutturazione del programma in unità logiche distinte che ne facilitano la stesura, la leggibilità e la modificabilità. Le funzioni e il ricco assortimento di strutture dati offerto dal linguaggio Pascal saranno oggetto di una sucessiva dispensa. La dispensa è costituita dai lucidi da me presentati durante il ciclo di seminari di introduzione al Pascal che ho tenuto nell'ambito del Corso di Perfezionamento in Applicazioni Informatiche dell'Università degli Studi di Pisa durante l'Anno Accademico 1989-90.
See at:
ISTI Repository 
| CNR ExploRA